COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.begin select 2centerit
C00003 ENDMK
C⊗;
.begin select 2;centerit;
←To be incorporated into existing text
.end
Continuations

Fixed points: the meaning of "<="

Intuitive discussion of Scott's mathematical semantics

.begin select 2; centerit;

←Additional chapters
.end
Structured LISP: LISP-like language with user defined data-structures

Data bases, pattern matching and A.I.

.begin select 2;centerit

←Sources
.end

J.C. Reynolds

R.D. Tennent

D. Scott

M.J.C. Gordon

C. Hewitt

B. Wegbreit

 ...

ME